Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
521	Microsoft Word - 2000_SIGAda_Awards.doc Add to Reading List Source URL: www.sigada.org Language: English - Date: 2005-02-22 13:15:46 Programming language theory Ada Robert Dewar DDC-I Ravenscar profile A Sharp Jean Ichbiah Computing Ada programming language Software engineering
522	Curriculum vitae TARMO U USTALU , TTÜ K ÜBERNEETIKA I NSTITUUT / TTÜ ARVUTITEADUSE INSTITUUT Isikuandmed • sündinud 19. jaanTallinnas; Eesti kodanik, abielus, 3 last Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2015-02-09 19:57:12 Leibniz Computing Programming language theory ALGOL 68 Software engineering
523	Complete list of publications Pierre Ganty December 15, 2012 Conference Publications [1] Pierre Ganty, Radu Iosif, and Filip Koneˇcn´ y. Underapproximation of procedure summaries for integer programs. In TACAS ’13: P Add to Reading List Source URL: software.imdea.org Language: English - Date: 2012-12-15 15:15:15 Models of computation Model checking Petri net Lecture Notes in Computer Science ALGOL 68 Computer Aided Verification Formal methods Software engineering Computing Programming language theory
524	Revised5 Report on the Algorithmic Language Scheme RICHARD H. ABELSON N. I. ADAMS IV D. H. BARTLEY Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-11 13:47:43 Functional languages Procedural programming languages Cross-platform software Lisp programming language Type theory Scheme Lisp Scope Free variables and bound variables Software engineering Computing Computer programming
525	The Legacy of Lisp “Observations/Rants” Dedicated to Prof. E. Goto Henry Baker, Ph.D. Partner Baker Capital Corp. Add to Reading List Source URL: international-lisp-conference.org Language: English - Date: 2009-07-08 02:04:14 Software engineering Computer workstations Functional languages Lisp Symbolics Programming language PDP-10 Lisp programming language Computing Programming language theory
526	Registering a project code on an academic publication In collaboration with The Research council of Norway (RCN), CRIStin has established a link between the CRIStin-system and RCNs system. From now on, you may easily fet Add to Reading List Source URL: www.cristin.no Language: English Cross-platform software Programming language theory Computing Software engineering C
527	Values in brackets ( ) relate to the category number of the information sheet. TDWG SPM SPM Match to DEWHA Species Information Sheet Add to Reading List Source URL: wiki.tdwg.org Language: English - Date: 2009-11-06 14:50:44 ALGOL 68 Software engineering Ecology Life expectancy Computing Programming language theory Actuarial science Population
528	Spectrum Writer User’s Guide Spectrum Writer Tutorial Table of Contents Lesson 1. How to Produce a Report in 5 Minutes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Add to Reading List Source URL: www.pacsys.com Language: English - Date: 2008-11-04 13:09:54 Procedural programming languages ALGOL 68 TUTOR SQL Computing Software engineering Programming language theory
529	Algorithms for LTS regression Add to Reading List Source URL: www.cfe-csda.org Language: English - Date: 2013-01-11 21:50:14 Econometrics Robust regression Estimation theory Least trimmed squares Ordinary least squares Outlier Seemingly unrelated regressions Least squares Bc programming language Statistics Regression analysis Robust statistics
530	Erasable coercions: a unified approach to type systems Julien Cretin January 30, 2014 Add to Reading List Source URL: phd.ia0.fr Language: English - Date: 2014-01-30 14:31:16 Type theory Functional languages Cross-platform software Programming language implementation OCaml Computing platforms Type system Programming language Bytecode Computing Software engineering Software

UPDATE